Wir konnten keine exakten Treffer zu Ihrer Suche nach "Proof-theoretical Semantics" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: Peter Schroeder-Heister on Proof-Theoretic Semantics, Buch

Peter Schroeder-Heister on Proof-Theoretic Semantics

Outstanding Contributions to Logic -Band 29

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comm…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
Artikel ist im Warenkorb
: Peter Schroeder-Heister on Proof-Theoretic Semantics, Buch

Peter Schroeder-Heister on Proof-Theoretic Semantics

Outstanding Contributions to Logic -Band 29

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comm…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Artikel ist im Warenkorb
Luca Tranchini: Harmony and Paradox, Buch

Luca Tranchini
Harmony and Paradox

Trends in Logic -Band 62

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship be…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
Artikel ist im Warenkorb
Joseph E Aoun: Robot-Proof, Revised and Updated Edition, Buch

Joseph E Aoun
Robot-Proof, Revised and Updated Edition

"A thoroughly updated and revised edition of a university president's recommendations for providing the next generation of college students with the critical skills needed to work with, and alongside, AI"…

lieferbar ab 15.10.2024.
Buch
EUR 24,92*
Artikel ist im Warenkorb
Adam Brotman: AI First, Buch

Adam Brotman, Andy Sack
AI First

AI is going to change brand strategy and marketing forever. Are you ready? What does the rapid rise and astonishing rate of improvement of AI mean for brands in the next five years? Listen to what OpenAI …

Erscheint bald
Buch
Antonio Piccolomini d¿Aragona: Prawitz's Epistemic Grounding, Buch

Antonio Piccolomini d¿Aragona
Prawitz's Epistemic Grounding

Synthese Library -Band 469

This book presents an in-depth and critical reconstruction of Prawitz s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.